- formal rigor
- формальная строгость
Англо-русский словарь по исследованиям и ноу-хау. Е.Г. Коваленк. 2015.
formal rigor
Смотреть что такое "formal rigor" в других словарях:
Rigor Mortis (radio) — Infobox Radio Show show name = Rigor Mortis imagesize = 180 caption = Radio 4 s promotional shot of Peter Davison as Dr. Anthony Webster other names = format = sitcom runtime = 30 minutes country = flagicon|United Kingdom United Kingdom language … Wikipedia
Formal proof — See also: mathematical proof, proof theory, and axiomatic system A formal proof or derivation is a finite sequence of sentences (called well formed formulas in the case of a formal language) each of which is an axiom or follows from the… … Wikipedia
Nicola Guarino — is a researcher in the area of Formal Ontology for Information Systems, and the head of the Laboratory for Applied Ontology (LOA), part of the Italian National Research Council (CNR) in Trento. History Dr. Guarino has published numerous articles… … Wikipedia
Algorithm characterizations — The word algorithm does not have a generally accepted definition. Researchers are actively working in formalizing this term. This article will present some of the characterizations of the notion of algorithm in more detail. This article is a… … Wikipedia
Linguistics — is the scientific study of language, encompassing a number of sub fields. An important topical division is between the study of language structure (grammar) and the study of meaning (semantics). Grammar encompasses morphology (the formation and… … Wikipedia
Open Biomedical Ontologies — (abbreviated OBO; formerly Open Biological Ontologies) is an effort to create controlled vocabularies for shared use across different biological and medical domains. As of 2006, OBO forms part of the resources of the U.S. National Center for… … Wikipedia
Archimedes — For other uses, see Archimedes (disambiguation). Archimedes of Syracuse (Greek: Ἀρχιμήδης) … Wikipedia
Path dependence — explains how the set of decisions one faces for any given circumstance is limited by the decisions one has made in the past, even though past circumstances may no longer be relevant. [Definition from [http://poopthebook.com/blog/?p=20 Our Love Of … Wikipedia
Neomodernism — This article is about the philosophical movement. For the architectural description, see Neomodern . Neomodernism is a term that has at times been used to describe a philosophical position based on modernism but addressing the critique of… … Wikipedia
Architecture parlante — The phrase architecture parlante (“speaking architecture”) refers to the concept of buildings that explain their own function or identity.The phrase was originally associated with Claude Nicolas Ledoux, and was extended to other Paris trained… … Wikipedia
Michael Hersch — Booklet cover for a recording of orchestral music by Michael Hersch (Naxos 8.559281). Michael Nathaniel Hersch (born June 25, 1971) is an American composer and pianist. Contents … Wikipedia
